An Elementary Theory of the Category of Locally Compact Locales
نویسنده
چکیده
The category of locally compact locales over any elementary topos is characterised by means of the axioms of abstract Stone duality (monadicity of the topology, considered as a selfadjoint exponential Σ(−), and Scott continuity, Fφ = ∃`. F (λn. n ∈ `)∧∀n ∈ `. φn), together with an “underlying set” functor that is right adjoint to the inclusion of the full subcategory of overt discrete objects (those admitting equality and existential quantification). This full subcategory is then the topos. This draft was prepared on 15 March for the proceedings of the APPSEM workshop in Nottingham on 26–28 March 2003.
منابع مشابه
A constructive and functorial embedding of locally compact metric spaces into locales
The paper establishes, within constructive mathematics, a full and faithful functor M from the category of locally compact complete metric spaces and continuous functions into the category of formal topologies (or equivalently locales). The functor preserves finite products, and moreover satisfies f ≤ g if, and only if, M ( f ) ≤ M (g) for continuous f ,g : X → R. This makes it possible to tran...
متن کاملOn continuous cohomology of locally compact Abelian groups and bilinear maps
Let $A$ be an abelian topological group and $B$ a trivial topological $A$-module. In this paper we define the second bilinear cohomology with a trivial coefficient. We show that every abelian group can be embedded in a central extension of abelian groups with bilinear cocycle. Also we show that in the category of locally compact abelian groups a central extension with a continuous section can b...
متن کاملEntailment systems for stably locally compact locales
The category SCFrU of stably continuous frames and preframe homomorphisms (preserving finite meets and directed joins) is dual to the Karoubi envelope of a category Ent whose objects are sets and whose morphisms X → Y are upper closed relations between the finite powersets FX and FY . Composition of these morphisms is the “cut composition” of Jung et al. that interfaces disjunction in the codom...
متن کاملOn component extensions locally compact abelian groups
Let $pounds$ be the category of locally compact abelian groups and $A,Cin pounds$. In this paper, we define component extensions of $A$ by $C$ and show that the set of all component extensions of $A$ by $C$ forms a subgroup of $Ext(C,A)$ whenever $A$ is a connected group. We establish conditions under which the component extensions split and determine LCA groups which are component projective. ...
متن کاملSubspaces in Abstract Stone Duality
By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ on some category, is monadic. Using Beck’s theorem, this means that certain equalisers exist and carry the subspace topology. These subspaces are encoded by idempotents that play a role similar to that of nuclei in locale theory. Paré showed that any elementary topos has t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003